An analytic framework for performance modeling of software transactional memory

1389-1286/$ see front matter 2009 Elsevier B.V doi:10.1016/j.comnet.2009.02.006 * Corresponding author. Tel.: +49 913185 91318527041. E-mail address: [email protected] Analytic models based on discrete-time Markov chains (DTMC) are proposed to assess the algorithmic performance of Software Transactional Memory (TM) systems. Base STM variants are compared: optimistic STM with inplace memory updates and write buffering and pessimistic STM. Starting from an absorbing DTMC, closed-form analytic expressions are developed, which are quickly solved iteratively to determine key parameters of the considered STM systems, like the mean number of transaction restarts and the mean transaction length. Since the models reflect complex transactional behavior in terms of read/write locking, data consistency checks and conflict management independent of implementation details, they highlight the algorithmic performance advantages of one systemover the other, which – due to their at times small differences – are often blurred by implementation of STM systems and evendifficult to discernwith statistically significant discrete-event simulations. 2009 Elsevier B.V. All rights reserved.